A branch set linking theorem.
نویسندگان
چکیده
منابع مشابه
On the Linking Set Problem
We consider the Linking Set Problem which occurs as a subproblem in a decomposition procedure to solve large scale p-median problems such as the Optimal Diversity Management Problem. We show that a greedy algorithm solves the Linking Set Problem when the costs have a special structure. This special structure usually occurs when the Linking Set Problem arises from the decomposition of location p...
متن کاملA Splitting Set Theorem for Epistemic Specifications
Over the past decade a considerable amount of research has been done to expand logic programming languages to handle incomplete information. One such language is the language of epistemic specifications. As is usual with logic programming languages, the problem of answering queries is intractable in the general case. For extended disjunctive logic programs, an idea that has proven useful in sim...
متن کاملA Theorem Prover for Elementary Set Theory
This is a repor t of some of our research ca r r i e d out mainly dur ing the summer and f a l l of 1974, i t describes an implementation of a theorem prover based on t r u t h value preserv ing t ransformat ions which has been appl ied to prov ing theorems in the domain of elementary set theory . In sec t ion 2 we descr ibe the basic deduct ive system, and in sect ion 3 we present some p ro to...
متن کاملAn existence theorem for a bargaining set*
This paper considers non-transferable utility games and provides sufftcient conditions for the existence of the bargaining set introduced in Mas-Cole11 (1989). Our main assumption is weak balancedness. This assumption is weaker than balancedness and is satisfied in all transferable utility games and all three-player games. The proof of our main result is based on an application of a coincidence...
متن کاملA rough set view on Bayes' theorem
Rough set theory offers new perspective on Bayes’ theorem. The look on Bayes’ theorem offered by rough set theory reveals that any data set (decision table) satisfies the total probability theorem and Bayes’ theorem. These properties can be used directly to draw conclusions from objective data without referring to subjective prior knowledge and its revision if new evidence is available. Thus, t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATHEMATICA SCANDINAVICA
سال: 1975
ISSN: 1903-1807,0025-5521
DOI: 10.7146/math.scand.a-11611